An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study