P. Bouyer, “Timed Automata May Cause Some Troubles”, BRICS, bd. 9, nr. 35, aug. 2002.