Person. Stefan Mitsch DePaul University · facweb.cdm.depaul.edu/smitsch · 0000-0002-3194-9759 Papers A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system jeannin-2016-aSTTT · 2016 DOI