Design of Time Synchronization System Based on GPS/BeiDou Satellite | IEEE Conference Publication | IEEE Xplore