Low Carbon Optimal Scheduling of Integrated Energy Systems Considering Green Certificates and Integrated Demand Response | IEEE Conference Publication | IEEE Xplore