@CONFERENCE\{IMM2003-01832,
    author       = "A. E. Haxthausen and J. Peleska",
    title        = "Generation of Executable Railway Control Components from Domain-Specific Descriptions",
    year         = "2003",
    pages        = "83 - 90",
    booktitle    = "Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS'2003)",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "L'Harmattan Hongrie",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1832-full.html"
}