GPS Carrier-Phase Time Transfer Using Single-Difference Integer Ambiguity Resolution. (27th January 2008)