Verification, validation, and certification of modeling and simulation applications | IEEE Conference Publication | IEEE Xplore