Invariant Manifolds, Passage through Resonance, Stability and a Computer Assisted Application to a Synchronous Motor