Aggregation of thermostatically controlled loads by formal abstractions | IEEE Conference Publication | IEEE Xplore