Entwurfsverfahren für eingebettete Systeme zum Einsatz in der Mechatronik.