A Case Study in Recovery of Drones using Discrete-Event Systems. - Liam P. Burns; Dayse M. Cavalcanti; Felipe G. Cabral; Max Hering de Queiroz; Melissa Greeff; Públio M. M. Lima; Karen Rudie (CoRR, 2026)