Autonomous coordination of smart buildings in microgrids based on a double-sided auction | IEEE Conference Publication | IEEE Xplore