Akhtar, Nadeem, Maruf Pasha, and Abdul Rehman. “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, no. 4 (January 29, 2021): 46-54. Accessed May 7, 2024. https://tj.uettaxila.edu.pk/index.php/technical-journal/article/view/1201.