Simulation-guided approaches for verification of automotive powertrain control systems | IEEE Conference Publication | IEEE Xplore