Aceto, Luca, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, og Jan Poulsen. “Characteristic Formulae for Timed Automata”. BRICS Report Series 7, no. 23 (januar 23, 2000). Set marts 14, 2025. https://tidsskrift.dk/brics/article/view/20150.