GPS carrier phase time transfer using a modified solution model | IEEE Conference Publication | IEEE Xplore