Djaoui, C. and Chaoui, A. (2024) “Formalization and analysis of uml 2.0 interaction overview diagram using maude rewriting logic language: Using Maude Rewriting Logic Language”, Computer Science, 25(3). doi:10.7494/csci.2024.25.3.5964.