The Application of Lyapunov Methods to the Computation of Transient Stability Regions for Multimachine Power Systems | IEEE Journals & Magazine | IEEE Xplore