Modulare Modellbildung, Synthese und Codegenerierung ereignisdiskreter Steuerungssysteme