J. Wu, M. Song, X. Zhang, M. Lind, Identifying Safety Objectives and Functions for Emergency Shutdown in the Design Phase by Using Functional Modelling, Chemical Engineering Transactions. 86 (2021) 967-972. doi:10.3303/CET2186162.