Title: Eine Sprache zur formalen Spezifikation eingebetteter Systeme