Steady state distribution of a hyperbolic digital tanlock loop with extended pull-in range for frequency synchronization in High Doppler environment | IEEE Journals & Magazine | IEEE Xplore