Formal verification of demand response based home energy management systems in smart grids. - Adnan Yaqoob Salik; Muhammad Usama Sardar; Osman Hasan; Syed Rafay Hasan; Falah Awwad (ISGT Asia, 2017)