Eine Methode zur Spezifikation eingebetteter Systeme unter Verwendung von SemantikerweiterungenBewachen