Esau Bermudez and Paulo Maciel. 2024.
 Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation. In <em>Companion Proceedings of the 13th Latin-American Symposium on Dependable Computing</em>, November 26, 2024, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 175–178.