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>Companion Proceedings of the 13th Latin-American Symposium on Dependable Computing</em>, November 26, 2024, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 165–170.