Combined Modeling Techniques for Safety and Security in Industrial Automation: A Case Study. - Siegfried Hollerer; Marta Chabrová; Thilo Sauter; Wolfgang Kastner (SIN, 2022)