JAMAL, M.; ZAFAR, N. A. Modeling And Formal Specification Of Air Traffic Control System Using Z Notation. JISR management and social sciences & economics, [S. l.], v. 5, n. 2, p. 7–12, 2007. DOI: 10.31384/jisrmsse/2007.05.2.2. Disponível em: https://jisrmsse.szabist.edu.pk/index.php/szabist/article/view/354. Acesso em: 18 may. 2024.