Chen T-Y, Chang C-T. Synthesis and Validation of Operating Procedures Based on Untimed Automata. Chemical Engineering Transactions [Internet]. 31May2019 [cited 20Apr.2024];74:667-72. Available from: https://www.cetjournal.it/index.php/cet/article/view/CET1974112