A Transactive Energy Framework for Inverter-Based HVAC Loads in a Real-Time Local Electricity Market Considering Distributed Energy Resources | IEEE Journals & Magazine | IEEE Xplore