W. Gruber: "Modeling and Transformation of Workflows with Temporal Constraints"; Supervisor, Reviewer: J. Eder, G. Kappel; Institut für Informatik-Systeme (350), 2003.