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