Applications of Neural Networks in High Assurance Systems - Schumann, Johann; Liu, Yan (Springer Berlin Heidelberg, 2010)