@CONFERENCE\{IMM2004-04127,
    author       = "D. Bj{\o}rner",
    title        = "Towards a Formal Model of CyberRail",
    year         = "2004",
    month        = "aug",
    pages        = "657-664",
    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/4127-full.html",
    abstract     = "In: Building the Information Society"
}