@CONFERENCE\{IMM2004-04128,
    author       = "M. Penicka and D. Bj{\o}rner",
    title        = "From Railway Resource Planning to Train Operation - a Brief Survey of Complementary Formalisations",
    year         = "2004",
    month        = "aug",
    pages        = "629-636",
    booktitle    = "{IFIP} 18th World Computer Congress, Toulouse, France",
    volume       = "",
    series       = "",
    editor       = "Ren\'{e} Jacquart",
    publisher    = "Kluwer Academic Publishers",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4128-full.html",
    abstract     = "In: Building the Infomation Society"
}