@CONFERENCE\{IMM2002-01452,
    author       = "D. Bj{\o}rner",
    title        = "Computing Systems for Railways: A R\^{o}le for Domain Engineering",
    year         = "2002",
    month        = "jun",
    booktitle    = "6th World Conf.: {''}Integrated Design and Process Technology''",
    volume       = "",
    series       = "{SDPS} Conf.",
    editor       = "Bernd Kraemer and John C. Peterson",
    publisher    = "Society for Design and Process Science",
    organization = "",
    address      = "P.O.Box 1299, Grand View, Texas 76050-1299, {USA}",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1452-full.html",
    abstract     = "The integration of railway systems management (planning and operation) with the safety critical, real-time control of train traffic demands increasingly better understanding of railway systems. In this paper we examine some facets of the analysis and modeling of railway nets and traffic."
}