Probabilistic model checking for comparative analysis of automated air traffic control systems | IEEE Conference Publication | IEEE Xplore