Jeh-Hsuan Li, Wei-Chun Hsieh, Chuei-Tin Chang: Operations scheduling in batch chemical plants with timed automata. MED 2017: 895-900