Djaoui, Chafika, and Allaoua Chaoui. “FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude Rewriting Logic Language”. Computer Science 25, no. 3 (October 3, 2024). Accessed April 18, 2025. https://journals.agh.edu.pl/csci/article/view/5964.