An application of reachable set analysis in power system transient stability assessment | IEEE Conference Publication | IEEE Xplore