Probabilistic-Based Transient Stability Assessment of Power Systems with Virtual Synchronous Machines | IEEE Conference Publication | IEEE Xplore