A Tool for Automatic Defect Detection in Models Used in Model-Driven Engineering | IEEE Conference Publication | IEEE Xplore