Hybrid I/O automata. (2003)

by N Lynch, R Segala, F Vaandrager
Venue:Information and Computation