Ensuring Resource Adequacy with Auctions of Options and Forward Contracts | IEEE Conference Publication | IEEE Xplore