“…In the field of ATM, such models were first used to analyze the collision risk between adjacent routes of the North Atlantic track system [21,22,23]. Subsequently, they have also been used to investigate the safety of a wide variety of airspace types, including high altitude en route airways [24,25,26], low altitude terminal airspaces [27,28,29,30], and for concepts that closely resemble unstructured and layered airspace concepts [31,32,33].…”