M. Mazouz, F. Mokhati, and M. Badri, “Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic”, Informatica, vol. 41, no. 2, May 2017, Accessed: Aug. 24, 2026. [Online]. Available: https://www.informatica.si/index.php/informatica/article/view/1271