Becker, L., Pinto, M., Bodeveix, J., & Filali, M. 2025 nov 24. 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] :