Aceto, L.; Ingólfsdóttir, A.; Pedersen, M. L.; Poulsen, J. Characteristic Formulae for Timed Automata. BRICS 2000, 7.