Leonardo, Wenderson, Bezerra, Thiago, E Callou, Gustavo. " 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], (26 novembro 2024)