N. Akhtar and S. Hussain, “Formal Modeling of a Mail Transport System based on Multi-Agent System-of-Systems”, jictra, pp. 68–79, Jun. 2019, Accessed: Oct. 05, 2026. [Online]. Available: https://jictra.com.pk/index.php/jictra/article/view/146