Automotive Software: A Challenge and Opportunity for Model-Based Software Development