jeannin-2015-a:
  type: chapter
  title: A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System
  author:
  - Jeannin, Jean-Baptiste
  - Ghorbal, Khalil
  - Kouskoulas, Yanni
  - Gardner, Ryan
  - Schmidt, Aurora
  - Zawadzki, Erik
  - Platzer, André
  date: 2015
  page-range: 21-36
  url: http://dx.doi.org/10.1007/978-3-662-46681-0_2
  serial-number:
    doi: 10.1007/978-3-662-46681-0_2
    isbn: '9783662466810'
    issn: 1611-3349
  parent:
    type: book
    title: Tools and Algorithms for the Construction and Analysis of Systems
    publisher: Springer Berlin Heidelberg