Matthias Grochtmann, Linda Schmuhl: Systemverhaltensmodelle zur Spezifikation bei der modellbasierten Entwicklung von eingebetteter Software im Automobil. MBEES 2005: 37-43