Model Checking Timed Recursive CTL - Bruse, Florian; Lange, Martin; Florian Bruse and Martin Lange (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021)