Ascent Trajectories of Multistage Launch Vehicles: Numerical Optimization with Second-Order Conditions Verification. (10th December 2013)