Real world verification

@techreport{DBLP:conf/cade/PlatzerQR09:TR,
	ref = {DBLP:conf/cade/PlatzerQR09},
	author = {['André Platzer', 'Jan-David Quesel', 'Philipp Rümmer']},
	title = {Real World Verification},
	number = {52},
	year = {2009},
	month = {June},
	editor = {['Bernd Becker', 'Werner Damm', 'Martin Fränzle', 'Ernst-Rüdiger Olderog', 'Andreas Podelski', '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}
}