Ensuring energy supply adequacy in market-based systems: the Brazilian experience | IEEE Conference Publication | IEEE Xplore