Aceto, L.; Laroussinie, F. Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. BRICS 1999, 6.