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