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, doi: 10.7494/csci.2024.25.3.5964.