Texas market redesign: refining congestion management and market mitigation | IEEE Conference Publication | IEEE Xplore