Model-Level Debugging in the Context of the Model-Driven Development