A temporal dynamic logic for verifying hybrid system invariants

@techreport{DBLP:conf/lfcs/Platzer07:TR,
	ref = {DBLP:conf/lfcs/Platzer07},
	author = {['André Platzer']},
	title = {A Temporal Dynamic Logic for Verifying
               Hybrid System Invariants},
	number = {12},
	year = {2007},
	month = {February},
	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_012.pdf}
}