Hamrouche, H., Chaoui, A., & Mazouzi, S. (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