Leonardo, W., 		Bezerra, T., & 		Callou, G.
(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>, (pp. 165–170). Porto Alegre: SBC.