Global stability validation of an uncertain large-scale aircraft model | IEEE Conference Publication | IEEE Xplore