Reliability-Security Constrained Unit Commitment based on benders decomposition and Mixed Integer Non-Linear Programming | IEEE Conference Publication | IEEE Xplore