Azar, A. G. Demand Response Driven Load Scheduling in Formal Smart Grid Framework. ECE-TR 2016, 4.