Switched Probabilistic I/O Automata