Coito, F., and L. B. Palma. "Unfalsification based Fault Tolerant Controller." Emerging Technologies & Factory Automation (ETFA), 2011 IEEE 16th Conference on. IEEE,  2011. 1-4.