S. Stöckler: "Event-Based Monitoring of Distributed Real-Time Systems"; Supervisor, Reviewer: U. Schmid, G. Schildt; Institut für Automation, 1994.