An automata based method for online synthesis of emergency response procedures in batch processes.