Frits W. Vaandrager, Nancy A. Lynch: Action Transducers and Timed Automata. CONCUR 1992: 436-455