Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time