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