Methods and Procedures for the Verification and Validation of Artificial Neural Networks (Springer, 2006)