A Stochastic Programming Model for a Day-Ahead Electricity Market With Real-Time Reserve Shortage Pricing | IEEE Journals & Magazine | IEEE Xplore