Some approaches and paradigms for verifying and validating simulation models | Synapse