A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems | IEEE Conference Publication | IEEE Xplore