Checking semantics in UML models - Kahnert, Susana A.