Mars navigation system utilizes GPS | IEEE Journals & Magazine | IEEE Xplore