A Methodology for the Derivation and Verification of Use Cases for Product Lines. - Alessandro Fantechi; Stefania Gnesi; Giuseppe Lami; E. Nesti (SPLC, 2004)