Luca Aceto Anna Ingólfsdóttir Mikkel Lykke Pedersen Jan Poulsen Characteristic formulae for timed automata. 565-584 2000 34 ITA 6 http://dx.doi.org/10.1051/ita:2000131 db/journals/ita/ita34.html#AcetoIPP00