Kivelä, T., Bolender, S., Golder, M., & Furmans, K. (2018). Simulation model for the verification of a safety-related control system in a hoist application. Logistics Journal: Proceedings, (14). https://doi.org/10.2195/lj_Proc_kivelae_en_201811_02