On the Application of the Lyapunov Method to Synchronous Machine Stability† | Synapse