Bouyer, P. Timed Automata May Cause Some Troubles. BRICS 2002, 9.