B. Scholz: "Symbolische Verifikation von Echtzeitprogrammen"; Supervisor: J. Blieberger; Institut für Automation, 1996.