doi dblp The Theory of Timed I/O Automata, Second Edition Dilsun Kirli Kaynar | Nancy A. Lynch | Roberto Segala | Frits W. Vaandrager 2010
doi dblp The Theory of Timed I/O Automata Dilsun Kirli Kaynar | Nancy A. Lynch | Roberto Segala | Frits W. Vaandrager 2006