Architecting and Modeling Automotive Embedded Systems