CFD Simulations of Supersonic Combustion Using Reduced Mechanisms and ISAT