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