Developing a Framework for Autonomous Control Software for a Human Colony on Mars | IEEE Conference Publication | IEEE Xplore