An auction mechanism for local energy markets: Results from theory and simulation | IEEE Conference Publication | IEEE Xplore