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