Optimal Corrective Rescheduling for Power System Security* | Synapse