Applications of neural networks in high assurance systems.