selected publications academic article Control Design for Nondeterministic Input/Output Automata. IFAC Proceedings Volumes. 44:6994-6999. 2011