Bezerra, Thiago, Gustavo Callou, Cleunio França, and Eduardo Antonio Guimaraes Tavares. " A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical Things." Anais do XIII Latin-American Symposium on Dependable Computing, Recife/PE, 2024. SBC, 2024, pp.210–219.