Formal Methods for the Design and Verification of UAV Feedback Controls