Aceto, Luca, and Francois Laroussinie. “Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics”. BRICS Report Series 6, no. 32 (December 2, 1999). Accessed April 26, 2024. https://tidsskrift.dk/brics/article/view/20101.