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