Akhtar, N.; Hussain, S. Formal Modeling of a Mail Transport System Based on Multi-Agent System-of-Systems. jictra 2019, 68-79.