Azar, A.G. 2016. Demand Response Driven Load Scheduling in Formal Smart Grid Framework. Technical Report Electronics and Computer Engineering. 4, 24 (Mar. 2016).