Aceto, L., Ingólfsdóttir, A., Pedersen, M. L. and Poulsen, J. (2000) “Characteristic Formulae for Timed Automata”, BRICS Report Series, 7(23). doi: 10.7146/brics.v7i23.20150.