Philippe Herrmann: Timed Automata and Recognizability. Inf. Process. Lett. 65(6): 313-318 (1998)