Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification | IEEE Journals & Magazine | IEEE Xplore