Sheridan, O., Becker, L. B., Farrell, M., Luckcuck, M., & Monahan, R. (2025, April). Sharper Specs for Smarter Drones: Formalising Requirements with FRET. Presented at 31st International Working Conference, REFSQ 2025, Barcelona, Catalunya, Spain