Mazouz, M.; Mokhati, F.; Badri, M. Formal Development of Multi-Agent Systems With FPASSI: Towards Formalizing PASSI Methodology Using Rewriting Logic. IJCAI 2017, 41.