Yannick Nke, Jan Lunze: Fault-tolerant control of nondeterministic input/output automata subject to actuator faults. WODES 2010: 350-355