Lyapunov-based Transient Stability Analysis | IEEE Conference Publication | IEEE Xplore