%0 Journal Article %T Goal-oriented modeling and verification of feature-oriented product lines %A Asadi, Mohsen %A Gerd Groner %A Bardia Mohabbati %A Dragan Gasevic %J Software and Systems Modeling %@ 1619-1366 %D 2016