@TECHREPORT{rwvReport2009,
  author    = {Andr{\'e} Platzer and
               Jan-David Quesel and
               Philipp R{\"u}mmer},
  title     = {Real World Verification},
  number    = {52},
  year      = {2009},
  month     = {Jun},
  editor    = {Bernd Becker and
               Werner Damm and
               Martin Fr{\"a}nzle and
               Ernst-R{\"u}diger Olderog and
               Andreas Podelski and
               Reinhard Wilhelm},
  institution = {Reports of {SFB/TR~14 AVACS}},
  series    = {ATR},
  note      = {ISSN: 1860-9821, http://www.avacs.org.}
}