www.prismmodelchecker.org
[BMMK20] Abul Bashar, Shahabuddin Muhammad, Nazeeruddin Mohammad and Majid Khan. Modeling and Analysis of MDP-based Security Risk Assessment System for Smart Grids. In Proc. 2020 Fourth International Conference on Inventive Systems and Control (ICISC). 2020. [Designs a security risk management solution for smart grids, analysed using PRISM.]
Links: [Google] [Google Scholar]

Publications