TY  - RPRT
TI  - Automatic Debugging Support for UML Designs
AU  - Johann Schumann
PY  - 2000
UR  - https://arxiv.org/abs/cs/0011017
ID  - cs/0011017
ER  -