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