Verification of Autonomous Systems: Developmental Test and Evaluation of an Autonomous UAS Swarming Algorithm Combining Simulation, Formulation and Live Flight