A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora Schmidt, Ryan Gardner, Stefan Mitsch, André Platzer
2016 International Journal on Software Tools for Technology Transfer (STTT)  
doi:10.1007/s10009-016-0434-1 fatcat:fuv2hpxotzgkfohnetf7bd3eui