An integrated operational semantics for a UML core based on graph transformationPaul ZiemannEsauritoAvvisami
