Text this: The theory of timed I/O automata /