Bermudez, E., & 		Maciel, P.
2024 Nov 26.  Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation. Companion Proceedings of the Latin-American Symposium on Dependable and Secure Computing (LADC). [Online] :