Enforcing State-Based Opacity using Synchronizing Automata | IEEE Conference Publication | IEEE Xplore