Lins, Luan, 		Nascimento, Erick, 		Dantas, Jamilson, 		Araujo, Jean, AND 		Maciel, Paulo.
" Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability" <em>Proceedings of the Latin-American Symposium on Dependable Computing (LADC)</em> [Online], (26 November 2024)