The Theory of Timed I/O Automata by