Eine Methode zur Spezifikation eingebetteter Systeme unter Verwendung von SemantikerweiterungenPrévenez-moi