Eine Methode zur Konstruktion und Überprüfung sicherheitsrelevanter Automatisierungssoftware - Kapp, Karl-Heinz (Universität, 1985)