Die modellbasierte Entwicklung ist in den vergangenen Jahren zu einer Standardmethodik bei der Konstruktion großer softwarebasierter Systeme geworden. Zur Modellierung des gewünschten Systemverhaltens stehen verschiedene grafische Sprachen (UML, Simulink, Scade, Ascet u. a.) und Modellierungswerkzeuge zur Verfügung. Auch für die Verarbeitung solcher Modelle existieren verschiedene Werkzeuge, etwa ..