Fixing integer ambiguities for GPS carrier phase time transfer | IEEE Conference Publication | IEEE Xplore