Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems? Approach