Space autonomy as migration of functionality: the Mars case | IEEE Conference Publication | IEEE Xplore