Zhou, Kumar, Jiang, 2006. Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence 51.. https://doi.org/10.1109/tac.2006.875036