A Formal Framework for Modeling Smart Grid Applications: Demand Response Case Study | IEEE Conference Publication | IEEE Xplore