Ein Groteil der Funktionen moderner technischer Systeme wird heutzutage durch Software realisiert. Die stetig steigende Komplexitat dieser Software fuhrt zu neuen Herausforderungen bei der Softwareentwicklung. Um diese Komplexitat zu beherrschen, werden zunehmend modellbasierte Methoden fur den Softwareentwurf in den fruhen Phasen eingesetzt, um anschlieend ein Gesamtverhalten zu synthetisieren. M. a. W.: Ziel ist es, ein System in den fruhen Phasen so zu spezifizieren, dass man nachher ein Gesamtsystem hat, welches im reellen Betrieb lauffahig ist. Diese Systeme werden in den fruhen Phasen...