A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems | IEEE Conference Publication | IEEE Xplore