Synthesis of Dynamic Masks for Infinite-Step Opacity | IEEE Journals & Magazine | IEEE Xplore