A Framework for Active Fault-Tolerant Control of Deterministic I/O Automata. - Melanie Schmidt 003; Jan Lunze (WODES, 2014)