The theory of timed I/O automataDilsun K. Kaynar · First published 2006 · Latest edition 2011Open the Tome
Theory of Timed I/o Automata, Second EditionDilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager · First published 2010Open the Tome
