Lins, L., 		Nascimento, E., 		Dantas, J., 		Araujo, J., & 		Maciel, P.
(2024).
 Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability.
In <em>Proceedings of the 13th Latin-American Symposium on Dependable Computing</em>, (pp. 65–74). Porto Alegre: SBC.