Time and frequency transfer by geodetic GPS: Comparison of receivers and computation techniques | IEEE Conference Publication | IEEE Xplore