Dragonfly: a Tool for Simulating Self-Adaptive Drone Behaviours. - Maia, Paulo Henrique; Vieira, Lucas; Chagas, Matheus; Yijun Yu; Zisman, Andrea; Bashar Nuseibeh (ACM Transactions on Software Engineering & Methodology, 2019)