E. Bermudez and P. Maciel.
" Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation", in <em>Anais Estendidos do XIII Latin-American Symposium on Dependable Computing</em>, Recife/PE, 2024, pp. 175–178.