Flight control verification and clearance for a transport aircraft using stochastic robust analysis and synthesis | IEEE Conference Publication | IEEE Xplore