@article{jeannin-2016-a, title={A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system}, volume={19}, ISSN={1433-2787}, url={http://dx.doi.org/10.1007/s10009-016-0434-1}, DOI={10.1007/s10009-016-0434-1}, number={6}, journal={International Journal on Software Tools for Technology Transfer}, publisher={Springer Science and Business Media LLC}, author={Jeannin, Jean-Baptiste and Ghorbal, Khalil and Kouskoulas, Yanni and Schmidt, Aurora and Gardner, Ryan and Mitsch, Stefan and Platzer, André}, year={2016}, month=Oct, pages={717–741} }