First results of Mars express—ExoMars trace gas orbiter mutual radio occultation | AGU Journals & Magazine | IEEE Xplore