Comparison of different models for non-equilibrium CO2 flows in a shock layer near a blunt body