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, 1949-; Krüger, Ingolf H.; Meisinger, Michael (Lecture notes in computer science ;, 2006)