@article{Jeanette:123,
      author        = "Jeanette Tsang and Konstantin Beznosov",
      title         = "{A Security Analysis of the Precise Time Protocol (Short
                       Paper) }",
      month         = "Oct",
      year          = "2006",
}