Goal-oriented modeling and verification of feature-oriented product lines

Mohsen Asadi, Gerd Gröner, Bardia Mohabbati, Dragan Gasevic. Goal-oriented modeling and verification of feature-oriented product lines. Software and Systems Modeling, 15(1):257-279, 2016. [doi]

Abstract

Abstract is missing.