Verification, validation, and accreditation in the life cycle of models and simulations | IEEE Conference Publication | IEEE Xplore