A Customized EKF model for GNSS-based Navigation in the Harsh Space Environment | IEEE Conference Publication | IEEE Xplore