Hybrid I/O Automata (1996)

by Nancy Lynch, Roberto Segala, Frits Vaandrager