Curtailment Contract Design for HVAC Systems and Benefits for Management of Uncertain Generation | IEEE Conference Publication | IEEE Xplore