Akhtar, N., M. Pasha, and A. 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, Vol. 25, no. 4, Jan. 2021, pp. 46-54, https://tj.uettaxila.edu.pk/index.php/technical-journal/article/view/1201.