Zhao, Y. and Rozier, K. Y. (2012) “Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System”, Electronic Communications of the EASST, 53. doi: 10.14279/tuj.eceasst.53.787.