KIVELÄ, Tommi; BOLENDER, Steffen; GOLDER, Markus; FURMANS, Kai. Simulation model for the verification of a safety-related control system in a hoist application. Logistics Journal: Proceedings, [S. l.], n. 14, 2018. DOI: 10.2195/lj_Proc_kivelae_en_201811_02. Disponível em: https://proc.logistics-journal.de/article/view/910. Acesso em: 4 apr. 2025.