Checking Inconsistencies in UML Design. - Iryna Zaretska; Oleksandra Kulankhina; Hlib Mykhailenko; Roman Kovalenko (ICTERI, 2012)