Becker, L., 		Pinto, M., 		Bodeveix, J., & 		Filali, M.
(2025).
 AADL Model for Temporal Tuning of the Failsafe Triggering Mechanism from a Fire Fighting Drone.
In <em>Proceedings of the 15th Brazilian Symposium on Computing Systems Engineering</em>, (pp. 67-72). Porto Alegre: SBC.