"The Theory of Timed I/O Automata" - читать интересную книгу автора (Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager)