TY  - GEN
AU  - Kahnert,Susana A.
TI  - Checking semantics in UML models
ER  -