Design of Green Certificate Trading Mechanism Based on Double Auction | IEEE Conference Publication | IEEE Xplore