AADL Model for Temporal Tuning of the Failsafe Triggering Mechanism from a Fire Fighting Drone. - Leandro Buss Becker; M. L. Pinto; Jean-Paul Bodeveix; Mamoun Filali (SBESC, 2025)