The Theory Of Timed I/O Automata door Nancy A. Lynch, Nancy Lynch & Dilsun K. Kaynar