Korean power system security analysis using benchmark systems - Jang, Gilsoo.