Automating the Design of Efficient Distributed Behaviours for a Swarm of UAVs | IEEE Conference Publication | IEEE Xplore