Market mechanism of smart grids: Multi-agent model and interoperability | IEEE Conference Publication | IEEE Xplore