L. Becker, M. Pinto, J. Bodeveix, and M. Filali.
" 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>, Campinas/SP, 2025, pp. 67-72.