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