Model-based trade space exploration for near-Earth space missions | IEEE Conference Publication | IEEE Xplore