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 2021, 25, 46-54.