Modeling and Analyzing of a Time-Triggered Protocol for Automotive Systems | IEEE Conference Publication | IEEE Xplore