General envelope-transient formulation of phase-locked loops using three time scales | IEEE Journals & Magazine | IEEE Xplore