Elhillali Kerkouche Allaoua Chaoui El Bay Bourennane Ouassila Labbani Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach. 111-118 2009 SEDE conf/sede/2009 db/conf/sede/sede2009.html#KerkoucheCBL09