Akhtar, N., Pasha, M., & 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), 46-54. Retrieved from https://tj.uettaxila.edu.pk/index.php/technical-journal/article/view/1201