AUTOMATIC FORMULATION OF HIGHER-ORDER SENSITIVITY MODELS · Study