Guidance for the verification and validation of neural networks - Pullum, Laura L., (IEEE Computer Society, 2007)