Verification and validation in scientific computing - Oberkampf, William L. 1944-; Roy, Christopher J. (Cambridge University Press, 2010)