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