Automated Control of Transactive HVACs in Energy Distribution Systems | IEEE Journals & Magazine | IEEE Xplore