Luan Lins, Erick Nascimento, Jamilson Dantas, Jean Araujo, and Paulo Maciel. 2024.
 Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability. In <em>Proceedings of the 13th Latin-American Symposium on Dependable Computing</em>, November 26, 2024, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 65–74.