European Train Control System: A case study in formal verification

@techreport{DBLP:conf/icfem/PlatzerQ09:TR,
	ref = {DBLP:conf/icfem/PlatzerQ09},
	author = {['André Platzer', 'Jan-David Quesel']},
	title = {European Train Control System:
               A Case Study in Formal Verification},
	number = {54},
	year = {2009},
	month = {September},
	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_054.pdf}
}