Coupling Design and Verification in Software Product Lines