C. Djaoui and A. Chaoui, “FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude Rewriting Logic Language”, csci, vol. 25, no. 3, Oct. 2024.