Mario Günzel successfully defended his Dissertation.

Mario Günzel successfully defended his Dissertation with Distinction (summa cum laude).
Mario Günzel successfully defended his Dissertation - Property-Based Timing Analysis of Distributed Real-Time Systems - with Distinction (summa cum laude).
The dissertation is available here: https://eldorado.tu-dortmund.de/items/5effe237-365b-4382-8410-4f05bf0f07f8