@MASTERSTHESIS\{IMM2004-03185,
    author       = "N. K. Christensen and R. Dyhrberg",
    title        = "A domain specific language for tramway control systems",
    year         = "2004",
    keywords     = "domain specific languages, formal methods, {RAISE,} {C,} {XML,} tramway control systems, safety, verification",
    school       = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    note         = "Supervised by Assoc. Prof. Anne E. Haxthausen",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3185-full.html"
}