Hamrouche, H.; Chaoui, A.; Mazouzi, S. A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams. Comput. Inform. 2022, 41, 1284–1309.