A computationally efficient mixed-integer linear formulation for the thermal unit commitment problem | IEEE Journals & Magazine | IEEE Xplore