Akhtar N, Pasha M, Rehman A. Approach for the Formal Specification, Modelling, and Verification of a Safety-critical Multi-agent System; An Employees Management Multi-agent System (EM-MAS). TJ [Internet]. 29Jan.2021 [cited 7May2024];25(4):46-4. Available from: https://tj.uettaxila.edu.pk/index.php/technical-journal/article/view/1201