Towards an Explicit Bidirectional Requirement-to-Code Traceability Meta-model for the PASSI Methodology. - Mihoub Mazouz; Farid Mokhati; Mourad Badri (ICAART (1), 2015)

Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic. - Mihoub Mazouz; Farid Mokhati; Mourad Badri (Informatica (Slovenia), 2017)