ICER: a tool for finding errors in a UML model.