Verification and Validation of Computer Simulation Models and its Application on Agent-Based Epidemics Simulations