Entwurf und Synthese von Eingebetteten Systemen: Ein Lehrbuch