ACCORD: A Formal Model for the Digitalization and Automation of Drone Coordination Processes | Publicación