Time and frequency transfer using a WAAS satellite with L1 and L5 code and carrier | IEEE Conference Publication | IEEE Xplore