Model and Analysis of networked finite state machines with control channel. - Aocheng Wang; Zhipeng Zhang (ASCC, 2024)