System Engineering of Automotive Electronic Control Systems Using Model-Based Design