A Synchronization Protocol for Temporal Isolation of Software Components in Vehicular Systems | IEEE Journals & Magazine | IEEE Xplore