@Unpublished{     bouyer:TA,
  Author        = "Bouyer, Patricia",
  date-added    = "2017-11-02 08:19:00 +0000",
  date-modified = "2017-11-02 08:19:24 +0000",
  Title         = "An Introduction to Timed Automata",
  File          = "timed (0) - a - a - s.pdf"
}

@Unpublished{ bouyer:TA, Author = "Bouyer, Patricia", date-added = "2017-11-02 08:19:00 +0000", date-modified = "2017-11-02 08:19:24 +0000", Title = "An Introduction to Timed Automata", File = "timed (0) - a - a - s.pdf" }