Agent based simulation of carbon emissions trading market | IEEE Conference Publication | IEEE Xplore