A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems | IEEE Conference Publication | IEEE Xplore