Formal Verification for Time-Triggered Clock Synchronization (1999)

by H Pfeifer, D Schwier, F v Henke
Venue:In Proceedings of Seventh IFIP International Working Conference on Dependable Computing for Critical Applications