Chadwick, Jason and Power, David and Jackman, Brendan (2005) Modeling the timing considerations of an automotive-based time-triggered system. UNSPECIFIED. (Unpublished)