A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams. - Houda Hamrouche; Allaoua Chaoui; Smaine Mazouzi (Comput. Informatics, 2022)