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