Transactive Control of Air-Conditioning Systems in Buildings for Demand Response | IEEE Conference Publication | IEEE Xplore