A critical analysis of model-based formal verification efforts within the automotive industry
Modelling and simulation of an automotive vehicle for integrated motion control
A low fidelity nonlinear model of four-wheel-drive torsional stiffness at tip-in/tip-out
Modelling and simulation of a hgv powertrain for transmission control studies
An integrated MBS modelling environment for vehicle motion control studies