Hybrid I/O Automata