Formal Development of Multi-Agent Systems With FPASSI: Towards Formalizing PASSI Methodology Using Rewriting Logic. INF 2017, 41 (2).