Fault detection and diagnosis in process plants using finite-state automaton - Ramkumar K. B. (2000)