Hybrid I/O Automata (extended abstract) (2007)
N. Lynch, R. Segala, F. Va, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of