Ekaterina Auer Wolfram Luther Numerical Verification Assessment in Computational Biomechanics. 145-160 2008 Numerical Validation in Current Hardware Architectures http://dx.doi.org/10.1007/978-3-642-01591-5_9 conf/dagstuhl/2008nv db/conf/dagstuhl/nv2008.html#AuerL08a