Return to Article Details Formal Modeling of a Mail Transport System based on Multi-Agent System-of-Systems Download Download PDF