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