Y. Zhao and K. Y. Rozier, “Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System”, eceasst, vol. 53, Dec. 2012.