Design and Verification of UAV Formation Controller based on Leader-Follower Method | IEEE Conference Publication | IEEE Xplore