An efficient orbit integrator/filter for GPS-based precise LEO autonomous navigation | IEEE Conference Publication | IEEE Xplore