Modeling the Transient Energy Margin for Accessing the Transient Stability with Double Shot Automatic Line Reclosing in Power System | IEEE Conference Publication | IEEE Xplore