Application of Models of Short Circuits and Blow-Outs of Spark Channels under High-Velocity Flow Conditions to Spark Ignition Simulation