Bermudez, E., & 		Maciel, P.
2024 nov 26.  Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation. Anais Estendidos do Latin-American Symposium on Dependable and Secure Computing (LADC). [Online] :