Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers - Broy, Manfred; Krüger, Ingolf H.; Meisinger, Michael (Springer Berlin Heidelberg, 2008)