Jamal, M.; Zafar, N. A. Modeling And Formal Specification Of Air Traffic Control System Using Z Notation. JISR-MSSE 2007, 5, 7-12.