Progressive second price auctions with elastic supply for PEV charging in the smart gric | IEEE Conference Publication | IEEE Xplore