State-Labeled Safety Analysis of Modular Observers for Opacity Verification | IEEE Journals & Magazine | IEEE Xplore