J. Zwirchmayr: "Symbolic Methods for the Timing Analysis of Programs"; Supervisor, Reviewer: L. Kovacs, J. Knoop; Institut für Computersprachen - E185-1, 2013; oral examination: 2013-10-04.
http://publik.tuwien.ac.at/files/PubDat_226014.pdf