Kivelä, T. u. a. 2018. Simulation model for the verification of a safety-related control system in a hoist application. Logistics Journal: Proceedings. 14 (Nov. 2018). DOI:https://doi.org/10.2195/lj_Proc_kivelae_en_201811_02.