A computer-aided approach to preliminary hazard analysis for automotive embedded systems
Improving model-based verification of embedded systems by analyzing component dependences
Modeling and Co-simulation of Hydraulic Power Steering System
A New Linear Parametrization for Peak Friction Coefficient Estimation in Real Time