E. Bermudez and P. Maciel.
" Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation", in <em>Companion Proceedings of the 13th Latin-American Symposium on Dependable Computing</em>, Recife/PE, 2024, pp. 175–178.