@Unpublished{     Bouyer,
  Author        = "Bouyer, Patricia",
  date-added    = "2012-07-02 23:08:43 +0200",
  date-modified = "2012-07-02 23:09:55 +0200",
  Keywords      = "timed automata",
  Month         = "September",
  Title         = "Foundations for Timed Systems",
  Year          = "2005",
  File          = "Foundations for Timed Systems - Bouyer (0) (0) - a - a - i.pdf"
}

@Unpublished{ Bouyer, Author = "Bouyer, Patricia", date-added = "2012-07-02 23:08:43 +0200", date-modified = "2012-07-02 23:09:55 +0200", Keywords = "timed automata", Month = "September", Title = "Foundations for Timed Systems", Year = "2005", File = "Foundations for Timed Systems - Bouyer (0) (0) - a - a - i.pdf" }