@article{paperid:1074039, author = {Asadi, Mohsen and Gerd Groner and Bardia Mohabbati and Dragan Gasevic}, title = {Goal-oriented modeling and verification of feature-oriented product lines}, journal = {Software and Systems Modeling}, year = {2016}, volume = {15}, number = {1}, month = {February}, issn = {1619-1366}, pages = {257--279}, numpages = {22}, keywords = {Software engineering; Feature oriented software families; Goal-oriented requirements engineering; Description Logic; Feature Models Verification}, }