A probabilistic approach to set operating reserve margins in a multi-area electric power system