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