Aceto, L. and Laroussinie, F. (1999) “Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics”, BRICS Report Series, 6(32). doi: 10.7146/brics.v6i32.20101.