Laroussinie, F., Larsen, K. G., & Weise, C. (1995). From Timed Automata to Logic - and Back. BRICS Report Series, 2(2). https://doi.org/10.7146/brics.v2i2.19504