Vol. 4 No. 24 (2016): Demand Response Driven Load Scheduling in Formal Smart Grid Framework