Årg. 4 Nr. 24 (2016): Demand Response Driven Load Scheduling in Formal Smart Grid Framework