Ehsan Poorhadi, Elena Troubitsyna, György Dán. Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. In Christel Seguin, Marc Zeller, Tatiana Prosvirnova, editors, Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings. Volume 13525 of Lecture Notes in Computer Science, pages 170-185, Springer, 2022. [doi]
Abstract is missing.