/spl mu/-Tools for the clearance of flight control laws | IEEE Conference Publication | IEEE Xplore