發送短信 : Fault detection and diagnosis in process plants using finite-state automaton /