An automata based method for online synthesis of emergency response procedures in batch processes. - Ming-Li Yeh; Chuei-Tin Chang (Comput. Chem. Eng., 2012)