Characteristic Formulae for Timed AutomataLuca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen and Jan PoulsenRAIRO-Theor. Inf. Appl., 34 6 (2000) 565-584DOI: https://doi.org/10.1051/ita:2000131
