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://jictra.com.pk/index.php/jictra/article/view/146. Acesso em: 5 oct. 2026.