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