A formally verified hybrid system for the next-generation airborne collision avoidance system

@techreport{JeanninGKGSZP14:TR,
	author = {['Jean-Baptiste Jeannin', 'Khalil Ghorbal', 'Yanni Kouskoulas', 'Ryan Garnder', 'Aurora Schmidt', 'Erik Zawadzki', 'André Platzer']},
	title = {A Formally Verified Hybrid System for the
               Next-Generation Airborne Collision Avoidance System},
	number = {CMU-CS-14-138},
	year = {2014},
	month = {},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2014/CMU-CS-14-138.pdf}
}