M. Mazouz, F. Mokhati, and M. Badri, “Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic”, IJCAI, vol. 41, no. 2, May 2017.