[SSHHA17] Adnan Yaqoob Salik, Muhammad Usama Sardar, Osman Hasan, Syed Rafay Hasan and Falah Awwad. Formal verification of demand response based home energy management systems in smart grids. In Proc. IEEE Innovative Smart Grid Technologies - Asia (ISGT Asia). 2017. [Presents a formal analysis of a smart grid demand response management system using PRISM.]