Modellbasierte Entwicklung und Konfiguration des zeitgesteuerten FlexRay Bussystems - Heinz, Matthias (KIT Scientific Publishing)