A State-Queueing Model of Thermostatically Controlled Appliances | Synapse