Comparing 10 Methods for Solution Verification, and Linking to Model Validation. - Roger W. Logan; Cynthia K. Nitta (J. Aerosp. Comput. Inf. Commun., 2006)