Kivelä, Tommi, Steffen Bolender, Markus Golder, und Kai Furmans. 2018. „Simulation Model for the Verification of a Safety-Related Control System in a Hoist Application“. Logistics Journal: Proceedings, Nr. 14 (November). https://doi.org/10.2195/lj_Proc_kivelae_en_201811_02.