Die heutige und zukünftige Komplexität in großen Cyber-Physischen Systemen ist ohne systematische und digitalisierte Herangehensweisen kaum noch beherrschbar. Ein aktuelles Paradebeispiel solcher Cyber-Physischen Systeme sind die Produkte der Automobilindustrie, die einer noch nie da gewesenen Komplexität gegenüberstehen. Die Komplexität in der Automobilindustrie steigt stetig mit den Kundenansprüchen wie Individualität, Nachhaltigkeit, autonomes Fahren und Sicherheit bei hohen Qualitätsansprüchen zu günstigen Preisen. In der Informatik konnte in den letzten Jahrzehnten die Komplexität, Qualität und Effizienz mit agilen Methoden und einer durchgängigen Verwendung von Modellen verbessert werden. Während agile Methoden in der Automobilindustrie bereits ein fester Begriff ist, steht eine durchgängige Verwendung von Modellen in diesem Bereich noch aus. Im Rahmen dieser Dissertation wird eine durchgängige Entwicklungsmethode unter Verwendung von Modellen in Verbindung mit einem kompatiblen Testfallgenerator in der Industrieanwendung vorgestellt. Die Erkenntnisse aus der Anwendung der Methoden und der Tools in der Automobilindustrie dienen als Leitlinien für die Übertragung weiterer Kenntnisse aus der Informatik in die Praxis von traditionellen maschinenbau-geprägten Industrien. Die vorgestellte modellbasierte Spezifikationsmethode wurde fest in der Entwicklung von elektrischen Antrieben in einem Automobilkonzern verankert. Die Spezifikationsmodelle dienen den testfallerstellenden Personen als Basis zur manuellen und automatisierten Absicherung der Systeme und ermöglichen eine breite, tiefe und infolgedessen qualitativ hohe Absicherung.