Market-Based Generation Planning with Carbon Target | IEEE Conference Publication | IEEE Xplore