Model-based spacecraft and mission design for the evaluation of technology | IEEE Conference Publication | IEEE Xplore