Bermudez, E., & 		Maciel, P.
(2024).
 Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation.
In <em>Anais Estendidos do XIII Latin-American Symposium on Dependable Computing</em>, (pp. 175–178). Porto Alegre: SBC.