Ein Beitrag zur Diagnose verbindungsprogrammierter digitaler Steuersysteme auf der Grundlage spezifizierter Funktionsbeschreibungen. - Gerd Metzler (1984)