SMS dit: Modellbasierte Entwicklung und Konfiguration des zeitgesteuerten FlexRay Bussystems