Guidance for the Verification and Validation of Neural Networks - Pullum (IEEE, 2007)