Text this: Computación Tolerante a Fallas Aplicada en el Mantenimiento Automático del Microsatélite Satex