Hamrouche, Houda, et al. “A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams”. Computing and Informatics, vol. 41, no. 5, Dec. 2022, pp. 1284–1309, doi:10.31577/cai_2022_5_1284.