Junyao Hou, Xiang Yin, Shaoyuan Li, Majid Zamani: Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations. CDC 2019: 7653-7658