A Compositional Hybrid System Approach to the Analysis of Air Traffic Management Systems