Laurens Lemaire, Jan Vossaert, Bart De Decker, Vincent Naessens. An Assessment of Security Analysis Tools for Cyber-Physical Systems. In Jürgen Großmann, Michael Felderer, Fredrik Seehusen, editors, Risk Assessment and Risk-Driven Quality Assurance - 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers. Volume 10224 of Lecture Notes in Computer Science, pages 66-81, 2016. [doi]
Abstract is missing.