Design of progressive auctions for procurement based on Lagrangian relaxation | IEEE Conference Publication | IEEE Xplore