@mastersthesis{boehm:mt07,
  title = "Formal Verification of a Clock Synchronization Method in a Distributed Automotive System",
  author = "Peter B{\"o}hm",
  year = "2007",
  school = "Dept. of Computer Science, Saarland University",
}