Heavy-lift contributions to a human mission to Mars | IEEE Conference Publication | IEEE Xplore