@ARTICLE\{IMM1993-01859,
    author       = "A. E. Haxthausen and J. S. Pedersen and S. Prehn",
    title        = "RAISE: a Product Supporting Industrial  Use of Formal Methods",
    year         = "1993",
    pages        = "319-346",
    journal      = "Technique et Science Informatiques",
    volume       = "12",
    editor       = "",
    number       = "3",
    publisher    = "Afcet/Hermes",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1859-full.html"
}