An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies | IEEE Conference Publication | IEEE Xplore