Satellite clocks characterization and monitoring for global navigation satellite systems | IEEE Conference Publication | IEEE Xplore