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 2019, pp. 68-79, https://jictra.com.pk/index.php/jictra/article/view/146.