An integrated operational semantics for a UML core based on graph transformationPaul ZiemannÉpuisé4,3Prévenez-moi