Text this: Verification Methodology for Simulation Models of the Synchronous Generator on Transients Analysis