Verification and validation of neural networks for safety-critical applications. - Jason Hull; David Ward; Radoslaw R. Zakrzewski (ACC, 2002)