jeannin-2016-a:
  type: article
  title: A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system
  author:
  - Jeannin, Jean-Baptiste
  - Ghorbal, Khalil
  - Kouskoulas, Yanni
  - Schmidt, Aurora
  - Gardner, Ryan
  - Mitsch, Stefan
  - Platzer, André
  date: 2016-10
  page-range: 717-741
  url: http://dx.doi.org/10.1007/s10009-016-0434-1
  serial-number:
    doi: 10.1007/s10009-016-0434-1
    issn: 1433-2787
  parent:
    type: periodical
    title: International Journal on Software Tools for Technology Transfer
    publisher: Springer Science, Business Media LLC
    issue: 6
    volume: 19