Bouyer, P. 2002. Timed Automata May Cause Some Troubles. BRICS Report Series. 9, 35 (Aug. 2002). DOI:https://doi.org/10.7146/brics.v9i35.21750.