Text this: Fault detection and diagnosis in process plants using finite-state automaton /