@CONFERENCE\{IMM2004-03439, author = "A. E. Haxthausen and N. Christensen and R. Dyhrberg", title = "From Domain Model to Domain-specific Language for Railway Control Systems", year = "2004", booktitle = "Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/{FORMAT} 2004)), Braunschweig", volume = "", series = "", editor = "", publisher = "", organization = "", address = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/3439-full.html" }