Modeling and Verification of Time-Triggered Communication Protocols | IEEE Conference Publication | IEEE Xplore