H. Pfeifer

Formal verification for time-triggered clock synchronization

H. Pfeifer, D. Schwier, F.W. von Henke, 1999, Dependable Computing for Critical Applications 7.