Modelling in Integrated Energy Trading System Under an Incentive-Compatible Market Mechanism | IEEE Conference Publication | IEEE Xplore