Ruggero Lanotte, Massimo Merro, Andrei Munteanu. A Modest Security Analysis of Cyber-Physical Systems: A Case Study. In Christel Baier, Luís Caires, editors, Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Volume 10854 of Lecture Notes in Computer Science, pages 58-78, Springer, 2018. [doi]
Abstract is missing.