Cassting presentation: Quantified CTL – Nikolas Markey