A signal temporal logic approach for task-based coordination of multi-aerial systems: A wind turbine inspection case study | Publicación