A Power-Control based Transactive Energy Mechanism for HVACs in Grid-Interactive Buildings | IEEE Conference Publication | IEEE Xplore