Three-way Doppler observation of Mars Express | IEEE Conference Publication | IEEE Xplore