The work presented in [5] use meta-models that to define UML models that can be checked. The paper also describes a tool, the Model Consistency Checker (MCC) that enhances this capability. The ...