A GSP double auction for smart exchange | IEEE Conference Publication | IEEE Xplore