Automata Theory and Logics -- Switched Probabilistic I/O Automata -- Decomposing