Resource Prospector Lander: Architecture and trade studies | IEEE Conference Publication | IEEE Xplore