selected publications chapter Role of Formal Methods in the Automobile Industry. Springer eBooks. 175-175. 2007