www.prismmodelchecker.org
[VSBH21] Heribert Vallant, Branka Stojanović, Josip Božić and Katharina Hofer-Schmitz. Threat Modelling and Beyond-Novel Approaches to Cyber Secure the Smart Energy System. Applied Sciences. 2021. [Proposes a threat model for smart grid, performing a risk analysis using PRISM.]
Links: [Google] [Google Scholar]

Publications