Developing a crew time model for human exploration missions to Mars | IEEE Conference Publication | IEEE Xplore