  In the present work, a second-order type 2 PLL with a piecewise-linear phase
detector characteristic is analysed. An exact solution to the Gardner problem
on the lock-in range is obtained for the considered model. The solution is
based on a study of cycle slipping bifurcation and improves well-known
engineering estimates.
