F. Laroussinie, K. G. Larsen, og C. Weise, “From Timed Automata to Logic - and Back”, BRICS, bd. 2, nr. 2, jan. 1995.