Eine Methode zur Spezifikation eingebetteter Systeme unter Verwendung von SemantikerweiterungenAvvisami