Efficient predictive steering of local clocks in GPS-based timekeeping | IEEE Conference Publication | IEEE Xplore