Aceto, L. (2000) “Characteristic Formulae for Timed Automata”, BRICS Report Series, 7(23). doi: 10.7146/brics.v7i23.20150.