N. Akhtar, 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)”, TJ, vol. 25, no. 4, pp. 46-54, Jan. 2021.