Inna Vistbakka, Elena Troubitsyna. Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. In Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano, editors, Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. Volume 11842 of Lecture Notes in Computer Science, pages 363-378, Springer, 2019. [doi]
Abstract is missing.