Bezerra, Thiago, Callou, Gustavo, França, Cleunio, AND Tavares, Eduardo. " A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical Things" Proceedings of the Latin-American Symposium on Dependable Computing (LADC) [Online], (26 November 2024)