Mission Specification and Execution of Multidrone Systems | IEEE Conference Publication | IEEE Xplore