Verification of --Step Opacity and Analysis of Its Complexity | IEEE Journals & Magazine | IEEE Xplore