Probabilistic Framework for Transient Stability Assessment of Power Systems With High Penetration of Renewable Generation | Synapse