Bermudez, Esau, Y 		Maciel, Paulo.
" Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation" <em>Actas Ampliadas del Latin-American Symposium on Dependable and Secure Computing (LADC)</em> [En línea], (26 noviembre 2024)