Verification and Clearance of a Flight Control System for High Altitude Long Endurance Aircraft | IEEE Conference Publication | IEEE Xplore