CEP

Soliman, D.; Frey, G.: Verification and Validation of Safety Applications based on PLCopen Safety Function Blocks. Control Engineering Practice, Vol. 19, No. 9, pp. 929-946, Sept. 2011. <DOI:10.1016/j.conengprac.2011.01.001>