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: Aug. 27, 2026. [Online]. Available: https://www.jictra.nicerjss.com/index.php/jictra/article/view/146