Colin F. Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Michael J. Butler, Martin Kubisch. Analysing the Safety Implications of Security Risks in Cyber-Physical Systems. In Ana Cavalcanti 0001, James Baxter 0001, editors, The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II. Volume 14781 of Lecture Notes in Computer Science, pages 97-119, Springer, 2024. [doi]
Abstract is missing.