Coordinated decentralized protocols for failure diagnosis of discrete event systems | IEEE Conference Publication | IEEE Xplore