Spark Ignition Engine Modeling and Control System Design