Jamal M, Zafar NA. Modeling And Formal Specification Of Air Traffic Control System Using Z Notation. JISR-MSSE [Internet]. 2007 Dec. 31 [cited 2024 May 18];5(2):7-12. Available from: https://jisrmsse.szabist.edu.pk/index.php/szabist/article/view/354