@article{JWS.2007.117-129,
 author = {Hai H. Wang and Yuan Fang Li and Jing Sun and Hongyu Zhang and Jeff Pan},
 title = {{Verifying Feature Models using OWL}},
 journal = {Journal of Web Semantics},
 volume = {5},
 issue = {2},
 pages = {117-129},
 month = {June},
 year = {2007},
 publisher = {Elsevier},
 url = {http://dx.doi.org/10.1016/j.websem.2006.11.006}
}