AKHTAR, Nadeem; HUSSAIN, Shafiq. Formal Modeling of a Mail Transport System based on Multi-Agent System-of-Systems. Journal of Information Communication Technologies and Robotic Applications, [S. l.], p. 68–79, 2019. Disponível em: https://www.jictra.nicerjss.com/index.php/jictra/article/view/146. Acesso em: 27 aug. 2026.