Akhtar, Nadeem, Maruf Pasha, and Abdul Rehman. 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. https://tj.uettaxila.edu.pk/index.php/technical-journal/article/view/1201.