Modulare Modellbildung, Synthese und Codegenerierung ereignisdiskreter Steuerungssysteme / Mathias P. Rausch