A stochastic model for power system transient stability with wind power | IEEE Conference Publication | IEEE Xplore