Reserve Formulations for Power-Based Unit Commitment with N-1 Security | IEEE Conference Publication | IEEE Xplore