M. Kathofer: "Einsatz von Expertensystemen in der Prozeßleittechnik zur Sicherheitsüberprüfung"; Supervisor: G. Schildt; Institut für Automation, 1991.