J. Ponge: "Model Based Analysis of Time-aware Web Services Interactions"; Supervisor, Reviewer: F. Toumani, B. Benatallah, S. Dustdar, C. Godart; Institut für Informationssysteme, AB Verteilte Systeme, 2008.