A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System jeannin-2015-aTACAS · 2015