Leonardo, Wenderson, Thiago Bezerra, and Gustavo Callou.
" Stochastic Petri Net Models for Availability and Performance Evaluation of Nextcloud Service hosted in Apache Cloudstack." <em>Companion Proceedings of the 13th Latin-American Symposium on Dependable Computing,
Recife/PE, 2024</em>. SBC, 2024,  
pp.165–170.