Mihael Marovic, Ante Derek, Stjepan Gros. A Survey on Applications of Formal Methods in Analysis of SCADA Systems. In Dimitri Percia David, Alain Mermoud, Thomas Maillart, editors, Critical Information Infrastructures Security - 16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27-29, 2021, Revised Selected Papers. Volume 13139 of Lecture Notes in Computer Science, pages 99-115, Springer, 2021. [doi]
Abstract is missing.