Instrument design for the Mars atmospheric and volatile evolution mission | IEEE Conference Publication | IEEE Xplore