Towards verification-based development of in-vehicle safety critical software: a case study. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Peter van de Velde; Johan J. Lukkien (EDCC-CARS, 2010)