@inproceedings{ICECCS.2005.303-312,
 author = {Jing Sun and Hongyu Zhang and Hai Wang},
 title = {{Formal Semantics and Verification for Feature Modeling}},
 booktitle = {ICECCS '05: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems},
 month = {June},
 year = {2005},
 location = {Shanghai, China},
 isbn = {0-7695-2284-X},
 pages = {303-312},
 doi = {http://dx.doi.org/10.1109/ICECCS.2005.48},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA}
}