P. Bouyer, “Timed Automata May Cause Some Troubles”, BRICS, vol. 9, no. 35, Aug. 2002.