TY - SER AU - Levi, V. A. AU - Nahman, I. M. AU - Nedic, D. P. TI - Security Modeling for Power System Reliability Evaluation KW - Adequacy KW - System Optimization ER -