@inbook{jeannin-2015-a, title={A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System}, ISBN={9783662466810}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-662-46681-0_2}, DOI={10.1007/978-3-662-46681-0_2}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems}, publisher={Springer Berlin Heidelberg}, author={Jeannin, Jean-Baptiste and Ghorbal, Khalil and Kouskoulas, Yanni and Gardner, Ryan and Schmidt, Aurora and Zawadzki, Erik and Platzer, André}, year={2015}, pages={21–36} }