Conceptual Design Using Executable Architectures for a Manned Mission to Mars | IEEE Journals & Magazine | IEEE Xplore