@misc{indiciae902469af6032, title = {Decentralized Critical Observers of Networks of Finite State Machines and Model Reduction}, author = {Davide Pezzuti and Giordano Pola and Elena De Santis and Maria D. Di Benedetto}, year = {2017}, url = {https://arxiv.org/abs/1412.1784}, note = {Source identifier: 1412.1784} }