Shock tube and modeling study of ignition delay times of propane mixtures in ultra-lean conditions