Transient Angle Stability of Virtual Synchronous Generators Using Lyapunov’s Direct Method | Synapse