Efficient analysis of phase-locked loops through a novel time-frequency approach, based on two envelope transient formulations | Publicación