Time-Constrained Automata (Extended Abstract) - Michael Merritt; Francesmary Modugno; Marc R. Tuttle (CONCUR, 1991)