Chapter 10. Model Debugging and Verification