J. Troya: "On the Model-Driven Performance and Reliability Analysis of Dynamic Systems"; Supervisor, Reviewer: A. Vallecillo Moreno, G. Kappel; Institut für Softwaretechnik und Interaktive Systeme, 2013; oral examination: 2013-02-12.