Formal Specification of Multi-Agent System Architecture. - Ahmed T. Dib; Zaïdi Sahnoun (ICAASE, 2014)