A Flexible Multi-Mechanism Market Model for Air Conditioning Users in Electricity Market: Design and Application | IEEE Journals & Magazine | IEEE Xplore