Fault diagnosis using algorithmic redundancy. - M. Ghetie; Dominique Sauter; Hassan Noura 002; Mehrdad Saif (J. Intell. Fuzzy Syst., 2000)