Akhtar, N., Pasha, M. and 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 (Jan. 2021), 46-54.