T. Kivelä, S. Bolender, M. Golder, und K. Furmans, „Simulation model for the verification of a safety-related control system in a hoist application“, ljproc, Nr. 14, Nov. 2018.