"A Framework for Active Fault-Tolerant Control of Deterministic I/O Automata."

Melanie Schmidt, Jan Lunze (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics