@Bibtex-file{SE/dependability.bib,
  title =        "Dependability References Database",
  author =       "Jonathan Moffett",
  email =        "jdm@cs.york.ac.uk",
  address =      "Department of Computer Science\\ University of York\\
                 UK",
  supported =    "yes",
  keywords =     "safety-critical systems",
  readme =       "{\bf Errors and Additions:} \par Please contact us
                 with suggested corrections of errors and additional
                 entries, though we will exercise our discretion on the
                 suggestions which we accept. \par Please email to:
                 hise-refs@minster.york.ac.uk. \par We will accept new
                 references in the following (descending) order of
                 preference: EndNote, Refer, BibTex, text. We will also
                 welcome additional abstracts, where available. \par
                 {\bf Acknowledgements:} We will welcome any suggestions
                 for improvement.\par The dependability database was
                 initially collated as part of a UK Health and Safety
                 Executive project called KERSD. We gratefully
                 ackowledge their support in enabling this database to
                 be created. We also acknowledge the support of the
                 following who have generously given help and allowed
                 their references to be incorporated into this database:
                 \begin{itemize} \item Jonathan Bowen, PRG, Oxford
                 University Alan Burns, University of York, UK \item
                 Audrey Canning, ERA Technology Ltd \item Trevor
                 Cockram, Rolls Royce plc \item B Davies, Imperial
                 College, London \item Bob Fields, University of York,
                 UK \item Anthony Finkelstein, Imperial College, London
                 \item Hubert F. Hofmann, University of Zurich,
                 Switzerland \item Chuck Howell, Mitre Corp, USA \item
                 Denis Jackson, Independent consultant \item Carl
                 Landwehr, US Naval Research Laboratory \item Martin
                 Loomes, University of Hertfordshire \item Derek
                 Partridge, University of Exeter \item David Powell,
                 LAAS, France \item Anders Ravn, DTH, Denmark \item John
                 Rushby, SRI, USA \item Victoria Stravridou, QMC & Royal
                 Holloway College, London \item David Vickers, SWRI, USA
                 \item Ian Wand, University of York, UK \item Cris
                 Whetton, University of Sheffield \item Marc Wilikens,
                 JRC, Ispra, Italy \item Peter Wright, University of
                 York, UK \end{itemize}",
}