Laroussinie, Francois, Kim G. Larsen, and Carsten Weise. 1995. “From Timed Automata to Logic - and Back”. BRICS Report Series 2 (2). https://doi.org/10.7146/brics.v2i2.19504.