L. Lins, E. Nascimento, J. Dantas, J. Araujo, and P. Maciel.
" Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability", in <em>Proceedings of the 13th Latin-American Symposium on Dependable Computing</em>, Recife/PE, 2024, pp. 65–74.