Aceto, Luca, m.fl. “Characteristic Formulae for Timed Automata”. BRICS Report Series, bd. 7, nr. 23, januar 2000, doi:10.7146/brics.v7i23.20150.