Synthesis of Optimal Insertion Functions for Opacity Enforcement | IEEE Journals & Magazine | IEEE Xplore