Elena Troubitsyna, Inna Vistbakka. Deriving and Formalising Safety and Security Requirements for Control Systems. In Barbara Gallina, Amund Skavhaug, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. Volume 11093 of Lecture Notes in Computer Science, pages 107-122, Springer, 2018. [doi]
Abstract is missing.