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