L. Kripp-Kalnoky: "Vergleich verschiedener Verfahren zur temporalen Spezifikation"; Supervisor: J. Blieberger, A. Bezirgan, G. Schildt; Institut für Technische Informatik, 1990.