Title: Theory of Timed I/o Automata, Second Edition