Almost global asymptotic stability of a constant field current synchronous machine connected to an infinite bus.