Verification of a Nonlinear Upset Recovery Control Law using Scenario Optimisation⋆ | IEEE Conference Publication | IEEE Xplore