Entwurf und Synthese von Eingebetteten Systemen:Ein Lehrbuch