Optimal Scheduling of Electricity Powered Thermal System for Demand Side Management of Buildings | IEEE Conference Publication | IEEE Xplore