Concealability Analysis for Current-state Opacity Enforcement via Editing Functions | IEEE Journals & Magazine | IEEE Xplore