Model-Based Design for Automotive Control Systems