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. Companion Proceedings of the Latin-American Symposium on Dependable and Secure Computing (LADC). [Online] :