John S. Carson II Verification validation: model verification and validation. 52-58 2002 conf/wsc/2002 Winter Simulation Conference http://doi.acm.org/10.1145/1030453.1030463 db/conf/wsc/wsc2002.html#Carson02