A Time Synchronization Algorithm Based on Correlation Analysis in GNSS/INS Integrated Navigation | IEEE Conference Publication | IEEE Xplore