ALARMS: Alerting and Reasoning Management System for Next Generation aircraft hazardsAlan S. CarlinNathan Schurret al.2010UAI 2010