Agent-based electricity market simulation with demand response from commercial buildings | IEEE Conference Publication | IEEE Xplore