Modeling of End-to-End Resource Reservations in Component-Based Vehicular Embedded Systems | IEEE Conference Publication | IEEE Xplore