Sensitivity to SEUs evaluation using probabilistic testability analysis at RTLJ. Fernandes, Marcelino Santos, Arlindo L. Oliveira, J.P. Teixeira, R. VelazcoHAL (Le Centre pour la Communication Scientifique Directe) preprint