Transient asymptotic stability of power systems as established with Lyapunov functions | IEEE Journals & Magazine | IEEE Xplore