Kinetic modeling of ethylene oxidation