Modelagem de máquinas síncronas aplicada ao estudo de estabilidade de sistemas elétricos de potência