On Timing Analysis of Component-Based Vehicular Distributed Embedded Systems at Various Abstraction Levels | IEEE Conference Publication | IEEE Xplore