R. Lieger: "Bounding the Worst-Case Execution Time of General Loops and Recursion"; Supervisor, Reviewer: J. Blieberger, W. Purgathofer; Institut für Rechnergestützte Automation, 2002.