Probabilistic timing analysis on time-randomized platforms for the space domain | Publicación