@InProceedings{PSvH:99:DCCA7,
  author =    "Holger Pfeifer and Detlef Schwier and Friedrich W.~von Henke",
  title =     "{Formal Verification for Time-Triggered Clock Synchronization}", 
  editor =    "Charles B. Weinstock and John Rushby (eds.)",
  series =    "Dependable Computing and Fault-Tolerant Systems",
  volume =    "12",
  pages =     "207--226",
  booktitle = "Dependable Computing for Critical Applications 7", 
  year =      1999,
  publisher = "IEEE Compouter Society",
  month =     jan
}