Wei-Tek Tsai Yinong Chen Raymond A. Paul Xinyu Zhou Chun Fan Simulation Verification and Validation by Dynamic Policy Specification and Enforcement. 295-310 2006 82 Simulation 5 http://dx.doi.org/10.1177/0037549706068828 db/journals/simulation/simulation82.html#TsaiCPZF06