@CONFERENCE\{IMM2003-03019,
    author       = "A. E. Haxthausen and J. Peleska",
    title        = "Automatic Verification,  Validation and Test for Railway Control Systems based on  Domain-Specific Descriptions",
    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/3019-full.html",
    isbn_issn    = "{ISBN} {0-}08-044059-2"
}