An Experimental and Kinetic Modeling Study of the Oxidation of the Four Isomers of Butanol