Title: Steady-state probability density function of the phase error for a DPLL with an integrate-and-dump device