Leonardo, W., 		Bezerra, T., & 		Callou, G.
2024 nov 26.  Stochastic Petri Net Models for Availability and Performance Evaluation of Nextcloud Service hosted in Apache Cloudstack. Anais Estendidos do Latin-American Symposium on Dependable and Secure Computing (LADC). [Online] :