Wenderson Leonardo, Thiago Bezerra, and Gustavo Callou. 2024.
 Stochastic Petri Net Models for Availability and Performance Evaluation of Nextcloud Service hosted in Apache Cloudstack. In <em>Anais Estendidos do XIII Latin-American Symposium on Dependable Computing</em>, novembro 26, 2024, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 165–170.