Control of nondeterministic discrete event systems for bisimulation equivalence | IEEE Conference Publication | IEEE Xplore