@Bibtex-file{SE/rail.bib,
  title =        "A bibliography on applications of formal methods
                 within the railways domain",
  author =       "Peter Gorm Larsen",
  email =        "peter@ifad.dk",
  address =      "The Institute of Applied Computer Science (IFAD)\\
                 Forskerparken 10\\ DK-5230 Odense M\\ Denmark",
  keywords =     "formal methods, railways",
}