Selective Integration of Formal Methods in the Development of Electronic Control Units. - Conrad, Mirko; Hötzer, Dieter (1998)