I believe that it was mentioned here that the BG7TBL GPSDO disciplined oscillator controls the OCXO using a FLL (frequency locked loop) instead of a PLL (phase locked loop). Their implementation causes a slight error in the output frequency. Search the time-nuts archives (best to use Google) for the relevant thread(s).