Fault-tolerant control of deterministic I/O automata using active diagnosis | IEEE Conference Publication | IEEE Xplore