Proximity link design and performance options for a Mars areostationary relay satellite | IEEE Conference Publication | IEEE Xplore