# Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification

> Research article (Safety Science, 2016) · cited 50× · AI/ML

**Wikidata**: [openalex:W2562105226](https://www.wikidata.org/wiki/openalex:W2562105226)  
**Source**: https://4ort.xyz/entity/safety-is-an-emergent-property-illustrating-functional-resonance-in-air-traffic-management-with-formal-verification