Variabilität und Versionierung bei der anforderungsbasierten Testfallentwicklung und -auswahl für mechatronische Systeme