Análise dos Modelos de Máquinas de Indução para Estudos de Transitórios Eletromecânicos em Sistemas Elétricos de Potência e sua Representação no Programa de Simulação ATP