Kivelä, T.; Bolender, S.; Golder, M.; Furmans, K. Simulation Model for the Verification of a Safety-Related Control System in a Hoist Application. ljproc 2018.