I. Borges, L. Lins, G. Callou, and P. Maciel. " Impact of Image Resolution on Drone Surveillance System Availability: A Stochastic Petri Net Approach", in Anais do XIV Latin-American Symposium on Dependable Computing, Valparaíso/Chile, 2025, pp. 275-290.