Methods and Procedures for the Verification and Validation of Artificial Neural Networks - Taylor, Brian J. (Springer US, 2006)