Becker, L., Pinto, M., Bodeveix, J., E Filali, M.. " AADL Model for Temporal Tuning of the Failsafe Triggering Mechanism from a Fire Fighting Drone" Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC) [Online], (24 novembro 2025)