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