Hamrouche, H. et al. 2022. A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams. Computing and Informatics. 41, 5 (Dec. 2022), 1284–1309. DOI:https://doi.org/10.31577/cai_2022_5_1284.