Incentive compatible mechanism for coordinated temperature control in multi-occupant buildings | IEEE Conference Publication | IEEE Xplore