Average time to loss of lock for an automatic frequency control loop with two fading signals, and a related probability distribution (Corresp.)