@TECHREPORT\{IMM2007-05189,
    author       = "C. George and A. E. Haxthausen",
    title        = "Specification, Proof, and Model-checking of the Mondex Electronic Purse using {RAISE}",
    year         = "2007",
    month        = "feb",
    number       = "",
    series       = "{UNU-IIST} Report",
    institution  = "UNU-IIST",
    address      = "",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5189-full.html",
    isbn_issn    = "352"
}