A. Prantl: "High-level Compiler Support for Timing Analysis"; Supervisor, Reviewer: J. Knoop, B. Lisper; Institut für Computersprachen, 2010; oral examination: 2010-06-09.