Recent progress in modeling unit commitment problems - Anjos, Miguel F. (Modeling and Optimization: Theory and Applications, Springer Proceedings in Mathematics & Statistics, 2013)