Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots - Kang, Eun-Young (2024 8th International Conference on System Reliability and Safety (ICSRS), System Reliability and Safety (ICSRS), 2024 8th International Conference on, 2024)