Opacity Enforcement in Discrete Event Systems Using Modification Functions | IEEE Journals & Magazine | IEEE Xplore