Bi-Level Carbon Trading Model on Demand Side for Integrated Electricity-Gas System | IEEE Journals & Magazine | IEEE Xplore