Auctions of contracts and energy call options to ensure supply adequacy in the second stage of the Brazilian power sector reform | IEEE Conference Publication | IEEE Xplore