Operations scheduling in batch chemical plants with timed automata. - Jeh-Hsuan Li; Wei-Chun Hsieh; Chuei-Tin Chang (MED, 2017)