Power System Transient Stability Analysis Using Sum of Squares Programming | IEEE Conference Publication | IEEE Xplore