Bo Zhang. Modeling and Analyzing of a Time-Triggered Protocol for Automotive Systems. In The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico. pages 334-340, IEEE Computer Society, 2008. [doi]
Abstract is missing.