Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid. - Syed Atif Naseem; Riaz Uddin; Osman Hasan; Diaa E. Fawzy (FLAP, 2018)