Hamrouche, Houda, Allaoua Chaoui, and Smaine Mazouzi. 2022. “A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams”. Computing and Informatics 41 (5):1284–1309. https://doi.org/10.31577/cai_2022_5_1284.