A Transactive Energy Framework for Inverter-Based HVAC Loads in a Real-Time Local Electricity Market Considering Distributed Energy Resources | Synapse