L. Becker, M. Pinto, J. Bodeveix, and M. Filali. 2025.
 AADL Model for Temporal Tuning of the Failsafe Triggering Mechanism from a Fire Fighting Drone. In <em>Anais do XV Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, novembro 24, 2025, Campinas/SP, Brasil. SBC, Porto Alegre, Brasil, 67-72.