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

@TECHREPORT{JeanninGKGSZP14:TR,
  author    = {Jean{-}Baptiste Jeannin and
               Khalil Ghorbal and
               Yanni Kouskoulas and
               Ryan Garnder and
               Aurora Schmidt and
               Erik Zawadzki and
               Andr{\'e} 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}
}```