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