Email Record: Applications of neural networks in high assurance systems.