Chen, T.-Y., & Chang, C.-T. (2019). Synthesis and Validation of Operating Procedures Based on Untimed Automata. Chemical Engineering Transactions, 74, 667-672. https://doi.org/10.3303/CET1974112