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). Technical Journal, v. 25, n. 4, p. 46-54, 29 jan. 2021.