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