Zhao, Y.; Rozier, K. Y. Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System. ECEASST 2012, 53.