Laroussinie, F.; Larsen, K. G.; Weise, C. From Timed Automata to Logic - and Back. BRICS 1995, 2.