Venue. STTT International Journal on Software Tools for Technology Transfer · Journal · Springer 2016 A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system jeannin-2016-aSTTT · 2016 DOI