Decentralized Observation of Discrete-Event Systems: At Least One Can Tell | IEEE Journals & Magazine | IEEE Xplore