T.-Y. Chen and C.-T. Chang, “Synthesis and Validation of Operating Procedures Based on Untimed Automata”, Chemical Engineering Transactions, vol. 74, pp. 667-672, May 2019.