Model-Based Development of an Engine Control Module for a Spark Ignition Engine | IEEE Journals & Magazine | IEEE Xplore