M. Jamal and N. A. Zafar, “Modeling And Formal Specification Of Air Traffic Control System Using Z Notation”, JISR-MSSE, vol. 5, no. 2, pp. 7–12, Dec. 2007.