Kivelä T, Bolender S, Golder M, Furmans K. Simulation model for the verification of a safety-related control system in a hoist application. ljproc [Internet]. 30. November 2018 [zitiert 4. April 2025];(14). Verfügbar unter: https://proc.logistics-journal.de/article/view/910