Modeling, Verification, and Simulation of a UAV Swarm Consensus Protocol