Safety-critical neural computing: explanation and verification in knowledge augmented neural networks. - J. H. Johnson; Phil D. Picton; N. J. Hallam (Artif. Intell. Eng., 1993)