Deterministische Embedded Systeme aus UML-Modellen