Samuel K. Klock Peter Kemper An automated technique to support the verification and validation of simulation models. 595-604 2010 DSN http://doi.ieeecomputersociety.org/10.1109/DSN.2010.5544417 conf/dsn/2010 db/conf/dsn/dsn2010.html#KlockK10