Static analysis of WCET in a satellite software subsystem | Publicación