Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints | IEEE Journals & Magazine | IEEE Xplore