On Switching Finite State Automata. - Joss Chapman; Markus Holzer 001; Petra Wolf 002 (MCU, 2024)