Feedback control of nondeterministic input/output automata | IEEE Conference Publication | IEEE Xplore