Jamal, Maryam, and Nazir Ahmad Zafar. “Modeling And Formal Specification Of Air Traffic Control System Using Z Notation”. JISR management and social sciences & economics 5, no. 2 (December 31, 2007): 7–12. Accessed November 22, 2024. https://jisrmsse.szabist.edu.pk/index.php/szabist/article/view/354.