Bermudez, Esau, E 		Maciel, Paulo.
" Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation" <em>Anais Estendidos do Latin-American Symposium on Dependable and Secure Computing (LADC)</em> [Online], (26 novembro 2024)