Akhtar, Nadeem, and Shafiq Hussain. “Formal Modeling of a Mail Transport System Based on Multi-Agent System-of-Systems”. Journal of Information Communication Technologies and Robotic Applications (June 30, 2019): 68–79. Accessed October 5, 2026. https://jictra.com.pk/index.php/jictra/article/view/146.