Mechanized safety proofs for disc-constrained aircraft

@techreport{DBLP:conf/hybrid/LoosRP13:TR,
	ref = {DBLP:conf/hybrid/LoosRP13},
	author = {['David W. Renshaw', 'Sarah Loos', 'André Platzer']},
	title = {Mechanized Safety Proofs for
               Disc-Constrained Aircraft},
	number = {CMU-CS-12-132},
	year = {2012},
	month = {August},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2012/CMU-CS-12-132.pdf}
}