@Bibtex-file{Misc/safety.bib,
  title =        "Safety-Critical Systems Bibliography",
  author =       "Jonathan Bowen",
  address =      "Department of Computer Science\\ University of
                 Reading\\ Whiteknights, PO Box 225\\ Reading\\
                 Berkshire RG6 6AY\\ UK",
  email =        "J.P.Bowen@reading.ac.uk",
  readme =       "With contributions by Victoria Stavridou, Royal
                 Holloway College, and Anders P. Ravn, Technical
                 University of Denmark",
}