A Comprehensive Model for the Auto-Ignition Prediction in Spark Ignition Engines Fueled With Mixtures of Gasoline and Methane-Based Fuel