Methods and procedures for the verification and validation of artificial neural networks - Taylor, Brian J. (Springer, 2006)