Title: Entwurf und Synthese Von Eingebetteten Systemen