A Methodology for the Derivation and Verification of Use Cases for Product Lines