H. Hamrouche, A. Chaoui, and S. Mazouzi, “A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams”, Comput. Inform., vol. 41, no. 5, pp. 1284–1309, Dec. 2022.