Systemverhaltensmodelle zur Spezifikation bei der modellbasierten Entwicklung von eingebetteter Software im Automobil. - Matthias Grochtmann; Linda Schmuhl (MBEES, 2005)