The Theory of Timed I/O Automata Second Addition - Kaynar, Dilsun (Synthesis Lectures on Distributed Computing Theory Ser.)