Reachability Analysis of Networked Finite State Machine With Communication Losses: A Switched Perspective | IEEE Journals & Magazine | IEEE Xplore