Optimized Operation of Integrated Energy Systems Considering Tradable Green Certificate and Carbon Trading Mechanism | IEEE Conference Publication | IEEE Xplore