An On-the-Fly Approach for the Verification of Opacity in Critical Systems | IEEE Conference Publication | IEEE Xplore