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