The theory of timed I/O automata - Kaynar, Dilsun K. (Synthesis lectures on computer science., 2006)