Advances in Simulation Model Validation: Theory, Software and Applications