https://9lib.org/document/y96rxnwy-agent-based-safety-risk-analysis-air-traffic-management.html