Borges, Ivson, Luan Lins, Gustavo Callou, and Paulo Maciel.
" Impact of Image Resolution on Drone Surveillance System Availability: A Stochastic Petri Net Approach." <em>Anais do XIV Latin-American Symposium on Dependable Computing,
Valparaíso/Chile, 2025</em>. SBC, 2025,  
pp.275-290.