Interface verification and satellite-ground testing of high-precision time comparison system between LEO satellites and Beidou satellites | IEEE Conference Publication | IEEE Xplore