Model-Driven Development of Reliable Automotive Services - Broy, Manfred; Broy, M.; Kanade, Takeo; Krüger, Ingolf H.; Meisinger, Michael; Kittler, Josef; Krüger, Ingolf (Springer Berlin Heidelberg, 2008)