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