von Henke. Formal Verification for TimeTriggered Clock Synchronization (1999)

by Holger Pfeifer, Detlef Schwier, W Friedrich
Venue:Dependable Computing for Critical Applications 7, volume 12 of Dependable Computing and Fault-Tolerant Systems