Using Subobservers to Synthesize Opacity-Enforcing Supervisors. - Richard Hugh Moulton; Behnam Behinaein Hamgini; Zahra Abedi Khouzani; Rômulo Meira-Góes; Fei Wang 114; Karen Rudie (Discret. Event Dyn. Syst., 2022)