Mazouz, M. et al. 2017. Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic. Informatica. 41, 2 (May 2017).