@article{jalc060101, author = {Dima, C\u{a}t\u{a}lin}, title = {Real-Time Automata}, journal = jalc, year = 2001, volume = 6, number = 1, pages = {3--23} }