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