Gupta, P., Loparo, K., Mackall, D., Schumann, J., & Soares, F. (2004). Verification and validation methodology of real-time adaptive neural networks for aerospace applications. Citeseer.