Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems | IEEE Journals & Magazine | IEEE Xplore