The modeling and evaluation of interplanetary manned missions using system architecting techniques | IEEE Conference Publication | IEEE Xplore