Akhtar, N. and 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. (Jun. 2019), 68–79.