Conceptual Design Using Executable Architectures for a Manned Mission to Mars. - John M. Colombi; Michael E. Miller 001; James S. Bohren; John K. Howard (IEEE Syst. J., 2015)