Akhtar, N., & Hussain, S. (2019). Formal Modeling of a Mail Transport System based on Multi-Agent System-of-Systems. Journal of Information Communication Technologies and Robotic Applications, 68-79. https://jictra.com.pk/index.php/jictra/article/view/146