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