Automated Residential Demand Response: Algorithmic Implications of Pricing Models | IEEE Journals & Magazine | IEEE Xplore