Djaoui C, Chaoui A. Formalization and analysis of uml 2.0 interaction overview diagram using maude rewriting logic language: Using Maude Rewriting Logic Language. csci [Internet]. 2024 Oct. 3 [cited 2025 Dec. 5];25(3). Available from: https://journals.agh.edu.pl/csci/article/view/5964