GPSDO with XOR phase comparator - control loop filter design

[iMo]

This is an excel table with my attempt to calculate the R and C values for the low-pass filter used in the XOR based phase comparator loop.
I compiled the calculation from various information fragments. In case you are going to discipline your OCXO with so called Miller's design you may found it useful for the estimation of your filter values. You have to know a few parameters of your setup, however.