Catalin Dima Real-Time Automata. 3-24 2001 6 Journal of Automata, Languages and Combinatorics 1 db/journals/jalc/jalc6.html#Dima01