A state queueing model of thermostatically controlled appliances | IEEE Conference Publication | IEEE Xplore