@TECHREPORT\{IMM1999-02352,
    author       = "D. Bj{\o}rner and S. Prehn and C. W. George",
    title        = "Formal Models of Railway Systems: Requirements",
    year         = "1999",
    number       = "",
    series       = "",
    institution  = "Dept. of {IT,} Technical University of  Denmark",
    address      = "Bldg. 344, {DK-}2800 Lyngby, Denmark",
    type         = "",
    note         = "Presented at the {FME}\$\backslash\$,Rail Workshop on Formal Methods in Railway Systems, {FM'}99 World Congress on Formal Methods, Toulouse, France. Avaliable on {CD} {ROM}. \$\backslash\$htmladdnormallinkfoot\{Postscript document\}\{http://www.imm.dtu.dk/\verb+~+db/racosy/requirements.ps\}",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2352-full.html"
}