@INCOLLECTION\{IMM1999-02343,
    author       = "D. Bj{\o}rner and C. George and S. Prehn",
    title        = "Scheduling and Rescheduling of Trains",
    year         = "1999",
    pages        = "157-184",
    booktitle    = "",
    volume       = "",
    number       = "",
    series       = "Industrial Strength  Formal Methods in Practice",
    publisher    = "{FACIT,} Springer-Verlag",
    address      = "",
    edition      = "",
    note         = "http://www.it.dtu.dk/\verb+~+db/racosy/scheduling.ps",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2343-full.html"
}