A State Transition MIP Formulation for the Unit Commitment Problem | IEEE Journals & Magazine | IEEE Xplore