Lins, L., 		Nascimento, E., 		Dantas, J., 		Araujo, J., & 		Maciel, P.
2024 Nov 26.  Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability. Proceedings of the Latin-American Symposium on Dependable Computing (LADC). [Online] :