Applications of neural networks in high assurance systems - Schumann, Johann; Liu, Yan (Springer, 2010)