www.prismmodelchecker.org
[UNI19] Riaz Uddin, Syed Atif Naseem and Zafar Iqbal. Formal Reliability Analyses of Power Line Communication Network-based Control in Smart Grid. International Journal of Control, Automation and Systems, Springer. 2019. [Analyses the reliability of smart grid communication networks using probabilistic model checking and PRISM.]
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar]

Publications