@CONFERENCE\{IMM2003-03020,
    author       = "T. Gjaldb{\ae}k and A. E. Haxthausen",
    title        = "Modelling and Verification of Interlocking Systems for Railway Lines",
    year         = "2003",
    booktitle    = "Proceedings of the 10th {IFAC} Symposium on Control in  Transportation Systems",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "Elsevier Science Ltd, Oxford",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3020-full.html",
    isbn_issn    = "{ISBN} {0-}08-044059-2"
}