Power systems transient stability analysis via optimal rational Lyapunov functions | IEEE Conference Publication | IEEE Xplore