www.prismmodelchecker.org
[NEU18] Syed Atif Naseem, Raheleh Eslampanah and Riaz Uddin. Probability estimation for the fault detection and isolation of pmu-based transmission line system of smart grid. In Proc. 2018 5th International Conference on Electrical and Electronic Engineering (ICEEE). 2018. [Proposes methods for fault detection and isolation in smart grids via an analysis in PRISM.]
Links: [Google] [Google Scholar]

Publications