Modeling the Timing Considerations of an Automotive-Based Time-Triggered System | part of Safety-Critical Automotive Systems | SAE books | IEEE Xplore