A state-queueing model of thermostatically controlled appliances | IEEE Journals & Magazine | IEEE Xplore