Real time fault detection and diagnosis in dynamic engineering systems using constraint analysis. - N. A. Marrison (1992)