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