Bo Zhang Modeling and Analyzing of a Time-Triggered Protocol for Automotive Systems. 334-340 2008 ICONS http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.11 conf/icons/2008 db/conf/icons/icons2008.html#Zhang08