Kivelä, Tommi, u. a. „Simulation Model for the Verification of a Safety-Related Control System in a Hoist Application“. Logistics Journal: Proceedings, Nr. 14, November 2018, doi:10.2195/lj_Proc_kivelae_en_201811_02.