An integrated operational semantics for a UML core based on graph transformationPaul ZiemannAgotado4,3Notifícame