Maximally Permissive Supervisory Control of Nondeterministic Discrete Event Systems with Nondeterministic Specifications | IEEE Conference Publication | IEEE Xplore