keywords launcher lft modeling robust analysis worst-case computer aided software engineering launching linear transformations mathematical transformations monte carlo methods robust control industrial collaborators launcher linear fractional transformations nonlinear simulations robust analysis structured singular values uncertainty modeling verification-and-validation uncertainty analysis