Johann M.Ph. Schumann, Yan Liu Applications of Neural Networks in High Assurance Systems - Springer eBooks 2010 ISBN: 9783642106903