Verification of Automotive Control Units. - Tom Bienmüller; Jürgen Bohn 002; Henning Brinkmann; Udo Brockmeyer; Werner Damm; Hardi Hungar; Peter Jansen 003 (Correct System Design, 1999)