Time-Frequency Formulation for the Nonlinear Analysis of Coupled Phase-Locked Loops | IEEE Journals & Magazine | IEEE Xplore