Real world verification

@TECHREPORT{DBLP:conf/cade/PlatzerQR09:TR,
	ref = {DBLP:conf/cade/PlatzerQR09},

  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}},
  type      = {Reports of {SFB/TR~14 AVACS}},
  series    = {ATR},
  note      = {ISSN: 1860-9821, http://www.avacs.org.},
  pdf={http://www.avacs.org/Publikationen/Open/avacs_technical_report_052.pdf},
}```