Adaptive correction method for an OCXO and investigation of analytical cumulative time error upper bound | IEEE Journals & Magazine | IEEE Xplore