Integrated Modeling and Validation of HHO-Based Nox Reduction in Spark-Ignition Engines | Synapse