Leonardo, Wenderson, 		Bezerra, Thiago, AND 		Callou, Gustavo.
" Stochastic Petri Net Models for Availability and Performance Evaluation of Nextcloud Service hosted in Apache Cloudstack" <em>Companion Proceedings of the Latin-American Symposium on Dependable and Secure Computing (LADC)</em> [Online], (26 November 2024)