Riaz Uddin, Ali S. Alghamdi, Muhammad Hammad Uddin, Ahmed Bilal Awan, Syed Atif Naseem, Ethernet‑Based Fault Diagnosis and Control in Smart Grid: A Stochastic Analysis via Markovian Model Checking, Journal of Electrical Engineering & Technology, vol 14, pages 2289-2300, 2019. doi 10.1007/s42835-019-00287-7