W. Leonardo, T. Bezerra, and G. Callou.
" 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>, Recife/PE, 2024, pp. 165–170.