The theory of timed I/O automata | lit.salon