Análise comparativa de modelos matemáticos de geradores síncronos no contexto da verificação dos requisitos do código de rede NC RfG | Synapse