A Lagrange Multiplier Based State Enumeration Reliability Assessment for Power Systems With Multiple Types of Loads and Renewable Generations | IEEE Journals & Magazine | IEEE Xplore