An expository on verification and validation of simulation models | Synapse