Lyapunov functions for multimachine power systems with dynamic loads | IEEE Journals & Magazine | IEEE Xplore