Step-Based Carbon Trading Model for the Thermal-Electric Optimization of Integrated Energy Systems Considering the Correlation Between Wind and PV | IEEE Conference Publication | IEEE Xplore