On market-based coordination of Thermostatically Controlled Loads with user preference | IEEE Conference Publication | IEEE Xplore