Crew size impact on the design, risks and cost of a human mission to mars | IEEE Conference Publication | IEEE Xplore