Akhtar, N., Pasha, M. and Rehman, A. (2021) “Approach for the Formal Specification, Modelling, and Verification of a Safety-critical Multi-agent System; An Employees Management Multi-agent System (EM-MAS)”, Technical Journal, 25(4), pp. 46-54. Available at: https://tj.uettaxila.edu.pk/index.php/technical-journal/article/view/1201 (Accessed: 6May2024).