@manual{        fk:etb,
  author        = "The {CSL} Formal Methods and Dependable Systems Group",
  title         = "The Evidential Tool Bus",
  year          = 2008,
}