J. Wu, M. Song, X. Zhang, and M. Lind, “Identifying Safety Objectives and Functions for Emergency Shutdown in the Design Phase by Using Functional Modelling”, Chemical Engineering Transactions, vol. 86, pp. 967-972, Jun. 2021.