Evaluating Model Differencing for the Consistency Preservation of State-based Views