MIA: a reusable execution platform for space missions: a case study based on an autonomous flight termination unit | Publicación