T. Bezerra, G. Callou, C. França, and E. Tavares. " A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical Things", in Proceedings of the 13th Latin-American Symposium on Dependable Computing, Recife/PE, 2024, pp. 210–219.