Tool Support for Consistency Verification of UML Diagrams. - Salilthip Phuklang; Tomoyuki Yokogawa; Pattara Leelaprute; Kazutami Arimoto (PROFES, 2017)