keywords analysis and modeling bench-mark problems european space agency flight control modern control vega launcher verification and validation well-covered benchmarking control systems launching systems analysis flight control systems