UML and B Method Based Analysis and Refinement for Flight Control Software of Unmanned Aerial Vehicle | IEEE Conference Publication | IEEE Xplore