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)

Design Process of Embedded Automotive Systems - Using Model Checking for Correct Specification. - Peter Jansen 003 (CHARME, 1999)

Formale Verifikation von Spezifikations-Modellen (Formal Verification of Specification Models). - Peter Jansen 003 (Informationstechnik Tech. Inform., 2001)